xen/arm: Trap the ACTLR register
authorJulien Grall <julien.grall@linaro.org>
Thu, 4 Jul 2013 15:01:06 +0000 (16:01 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 17 Jul 2013 15:55:24 +0000 (16:55 +0100)
commitd4435fe5e2f0dfadb41ef46c38f462f45d67762e
treef6b9edec72498215f21f1be3cf188e39c6226532
parent8f46b1cb99fe519ac39d10d0796c6be37fb1d178
xen/arm: Trap the ACTLR register

On Cortex-A15 ACTLR is used to set the SMP bit. If the guest has the control on
this register, it can disable SMP support and so TLB broadcast.

Implement the access to ACTRL as read-only register with SMP bit set to one
if the guest has multiple VCPUs.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain.c
xen/arch/arm/traps.c